<?php
//verifica que las sesion este abierta y refresca el tiempo de actividad
if (!isset($include)) {die("Este archivo no puede llamarse directamente");} 

//session_start();


if ( isset($_SESSION['Usuario'] ) ) {
	//existe el usuario en la sesion.
	//ahora verifica los tiempos:
	
	//$dur_sesion y $dur_actividad están definidas en config.php
	
	$time_login =  isset($_SESSION['time_login']) ?  $_SESSION['time_login'] : 0 ;
	$time_actividad =  isset($_SESSION['time_actividad']) ?  $_SESSION['time_actividad'] : 0 ;
	
	
	
	if ( time()-$time_login < $dur_sesion &&  time()-$time_actividad < $dur_inactividad ) {
		//estamos dentro de los plazos correctos:
		//refrescamos el tiempo de actividad:
		$_SESSION['time_actividad'] = time();

	
	} else {
	
		$_SESSION['p'] = "";
		$_SESSION['mensaje'] = "La sesión ha caducado.";
		
	}
	
} else {

	$_SESSION['p'] = "";
	$_SESSION['mensaje'] = "";
		
}


?>